\{$x$:$A$$\mid$ $B$($x$)\}  \textbf{is Primitive}